System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
271	Two Paradigms Are Better Than One, And Multiple Paradigms Are Even Better Arun K. Majumdar and John F. Sowa VivoMind Intelligence, Inc. Abstract. During the past half century, the field of artificial intelligence has dev Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-08-05 14:09:03 Reasoning Programming paradigms Software architecture Intelligent agent Society of Mind Cognitive architecture Reasoning system Logic programming Frame language Artificial intelligence Science Knowledge
272	Traps, Events, Emulation, and Enforcement: Managing the Yin and Yang of Virtualization-based Security Sergey Bratus, Michael E. Locasto, Ashwin Ramaswamy, and Sean W. Smith Dartmouth College {sergey,locasto,ashwinr,sws} Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2008-08-28 10:16:31 Virtual machines Debuggers Programming language implementation Debugging QEMU Kernel Hypervisor Rootkit Integrity System software Software Computing
273	Towards Literate Tools for Novice Programmers Andy Cockburn and Neville Churcher Department of Computer Science University of Canterbury Christchurch, New Zealand andy, Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:22:57 Literate programming Source code Noweb Comment WEB Programming language Integrated development environment Documentation generator Type system Computing Computer programming Software engineering
274	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
275	ExecRecorder: VM-Based Full-System Replay for Attack Analysis and System Recovery Daniela A. S. de Oliveira S. Felix Wu Jedidiah R. Crandall Add to Reading List Source URL: seclab.cs.ucdavis.edu Language: English - Date: 2007-02-21 19:48:12 Virtual machines Programming language implementation Replication Hyper-V Oracle Database Hypervisor Operating system VM Windows Software System software Cross-platform software
276	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
277	Documentation: AC++ Compiler Manual pure-systems GmbH and Olaf Spinczyk Version 1.7, September 26, 2013 Add to Reading List Source URL: www.aspectc.org Language: English - Date: 2014-03-31 14:22:39 C programming language C++ Source code Build automation Compiling tools Cygwin Tar Translation unit Make Software Computing System software
278	Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-12-29 11:26:37 Computing Data types Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Entailment System F Type theory Software engineering Programming language theory
279	Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:54:08 Software engineering Theoretical computer science Object-oriented programming Polymorphism Subtype polymorphism Type system Type theory Data types Programming language theory
280	Document number: Project: N4021 JTC1/SC22/WG21 Programming Language C++/SG13 - Graphics Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-05-26 17:24:02 System software Virtual reality Video game development OpenGL Graphics hardware Graphics processing unit Windows API Microsoft Direct3D Direct2D Software Computing Application programming interfaces

UPDATE